../buffer_types.pyi